命題24

命題24

 

 

任意の平行四辺形において、直径のまわりの平行四辺形は全体に対しても互いに対しても相似である。

 

ABCDを平行四辺形とし、ACをその直径とし、EGHKACのまわりの平行四辺形とする。

 

平行四辺形EGHKのそれぞれが全体ABCDと互いの両方と相似であることを言う。

 

EFABCの辺BCと平行であるから、比例して、BEEAに対し同じようにCFFAに対する。propositionY.2

 

再度、FGACDの辺CDと平行であるから、比例して、CFFAに対し同じようにDGGAに対する。propositionY.2

 

しかしCFFAに対し同じようにBEEAに対することは証明されていて、それゆえにBEEAに対し同じようにDGGAに対する。それゆえに、共にとれて、BAAEに対し同じようにDAAGに対し、そして、入れ替えて、BAADに対し同じようにEAAGに対する。propositionX.18propositionX.16

 

それゆえに平行四辺形ABCDEFにおいて、共通の∠BADのまわりの辺は比例している。

 

そして、GFDCと平行であり、∠AFGは∠ACDと等しく、そして∠DACは2つの三角形ADCAGFにおいて共通であり、それゆえにADCAGFと対応する角が等しい。propositionT.29

 

同じ理由でACBはまたAFEと対応する角が等しく、全体の平行四辺形ABCDは全体の平行四辺形EGと対応する角が等しい。

 

それゆえに、比例して、ADDCに対して同じようにAGGFに対して、DCCAに対して同じようにGFFAに対して、ACCBに対して同じようにAFFEに対して、そしてCBBAに対して同じようにFEEAに対する。

 

そして、DCCAに対して同じようにGFFAに対して、ACCBに対して同じようにAFFEに対することは証明されたから、それゆえに、等間隔比で、DCCBに対し同じようにGFFEに対する。propositionX.22

 

それゆえに平行四辺形ABCDEGにおいて等しい角のまわりの辺は比例する。それゆえに平行四辺形ABCDは平行四辺形EGと相似である。definitionY.1

 

同じ理由で平行四辺形ABCDは平行四辺形KHともまた相似である。それゆえに平行四辺形EGKHのそれぞれは平行四辺形ABCDと相似である。

 

しかし同じ直線図形と相似である図形はまた互いに対しても相似であり、それゆえに平行四辺形EGはまた平行四辺形HKと相似である。propositionY.21

 

それゆえに、任意の平行四辺形において、直径のまわりの平行四辺形は全体に対しても互いに対しても相似である。

 

証明終了

 

 

 

第6巻命題23へ  第6巻命題25へ  第6巻目次へ